arithmetical invariant

算术不变量